Current Issue : July - September Volume : 2020 Issue Number : 3 Articles : 5 Articles
In this paper, it was proposed to design and implement a system of parallel\nprocessing to find the required solutions from selective algorithms as quickly.\nMotives for writing paper are the current performance of computer systems\nthat depend on evolutionary algorithms (EA), and the wide spread of the\n(EA), and its application to a very wide range of scientific fields, and by taking\nadvantage of the Field programmable gate array (FPGA) board due to its\nhigh speed of implementation. The values were validated and the Genetic\nAlgorithm (GA) was used as a functional model and implementation. Also, in\nthe most important stages, the process of calculating fitness function, which is\nconsidered an executive criterion for the (GA), with terminal computers with\nhigh speeds and medium specifications, was done for the purposes of calculating\nfitness function independently of Board. Identical results were obtained\nat 100% accuracy by applying the work to a non-linear quadratic....
Programmable logic controllers (PLCs) are special embedded computers that are widely\nused in industrial control systems. To ensure the safety of industrial control systems, it is necessary\nto verify the correctness of PLCs. Formal verification is considered to be an effective method\nto verify whether a PLC program conforms to its specifications, but the expertise requirements\nand the complexity make it hard to be mastered and widely applied. In this paper, we present a\nspecification-mining-based verification approach for IEC 61131-3 PLC programs. It only requires\nusers to review specifications mined from the program behaviors instead of model checking for\nspecified specifications, which can greatly improve the efficiency of safety verification and is\nmuch easier for control system engineers to use. Moreover, we implement a proof-of-concept\ntool named PLCInspector that supports directly mining LTL specifications and data invariants from\nPLC programs. Two examples and one real-life case study are presented to illustrate its practicability\nand efficiency. In addition, a comparison with the existing verification approaches for PLC programs\nis discussed....
Nowadays, highly portable and low-energy computing environments require programming\napplications able to satisfy computing time and energy constraints. Furthermore, collaborative\nfiltering based recommender systems are intelligent systems that use large databases and perform\nextensive matrix arithmetic calculations. In this research, we present an optimized algorithm\nand a parallel hardware implementation as good approach for running embedded collaborative\nfiltering applications. To this end, we have considered high-level synthesis programming for\nreconfigurable hardware technology. The design was tested under environments where usual\nparameters and real-world datasets were applied, and compared to usual microprocessors running\nsimilar implementations. The performance results obtained by the different implementations were\nanalyzed in computing time and energy consumption terms. The main conclusion is that the\noptimized algorithm is competitive in embedded applications when considering large datasets and\nparallel implementations based on reconfigurable hardware....
Objectives. To prepare the conductive MWCNT (multiwall carbon nanotube)-agarose scaffolds with multi-microchannel for\nneuron growth under electrical stimulation. Methods. The scaffolds were produced by gradient freeze and lyophilization\nmethods. The synthesized materials were characterized by SEM and near-infrared spectroscopy, and their microstructure,\nswelling-deswelling, conductivity, biocompatibility, and shape memory behavior were measured. A three-dimensional culture\nmodel by implanting cells into scaffolds was built, and the behaviors of RSC96 cells on scaffolds under electrical stimulation\nwere evaluated. Results. The addition of MWCNT did not affect the pore composition ratio and shape memory of agarose\nscaffolds, but 0.025% wt MWCNT in scaffolds improved the swelling ratio and water retention at the swelling equilibrium state.\nThough MWCNTs in high concentration had slight effect on proliferation of RSC96 cells and PC12 cells, there was no\ndifference that the expressions of neurofilament of RSC96 cells on scaffolds with MWCNTs of different concentration. RSC96\ncells arranged better along the longitudinal axis of scaffolds and showed better adhesion on both 0.025% MWCNT-agarose\nscaffolds and 0.05% MWCNT-agarose scaffolds compared to other scaffolds. Conclusions. Agarose scaffolds with MWCNTs\npossessed promising applicable prospect in peripheral nerve defects....
Vibrations of single-layered graphene sheets subjected to a longitudinal magnetic field are\nconsidered. The Winkler-type and Pasternak-type foundation models are employed to reproduce the\nsurrounding elastic medium. The governing equation is based on the modified couple stress theory\nand Kirchhoffâ??Love hypotheses. The effect of the magnetic field is taken into account due to the\nLorentz force deriving from Maxwellâ??s equations. The developed approach is based on applying\nthe Ritz method. The proposed method is tested by a comparison with results from the existing\nliterature. The numerical calculations are performed for different boundary conditions, including the\nmixed ones. The influence of the material length scale parameter, the elastic foundation parameters,\nthe magnetic parameter and the boundary conditions on vibration frequencies is studied. It is\nobserved that an increase of the magnetic parameter, as well as the elastic foundation parameters,\nbrings results closer to the classical plate theory results. Furthermore, the current study can be applied\nto the design of microplates and nanoplates and their optimal usage....
Loading....